El acceso a la justicia como derecho, y el diseño e implementación de políticas públicas que lo tornen operante, exige un abordaje formativo crítico que se inscriba en la línea de una triple articulación: filosófica, jurídica y política. Enmarcada en dicha pretensión, la propuesta del curso “Agencias judiciales, políticas públicas y acceso a la justicia” tiene por objeto: a)Promover la reflexión sobre el acceso a la justicia como núcleo problemático de nuestra contemporaneidad social y jurídica. b)Reinscribir dicha reflexión crítica en (...) las filiaciones iusfilosóficas que la posibilitan e impulsan. c)Conceptualizar el acceso a la justicia como desafío medular de políticas de inclusión social.d)Identificar las complejidades que se derivan del carácter críptico y técnico que reviste el derecho moderno y el lenguaje jurídico que lo constituye, circunstancia que dificulta su accesibilidad y difusión. e)Efectuar aportes formativos que sirvan de base para la elaboración de políticas de acceso a la justicia que posibiliten la desarticulación de esta opacidad y formalización del lenguaje jurídico. f)Advertir el carácter performativo que porta el derecho como práctica social discursiva no solo como esfera de producción normativa sino también de construcción de las representaciones sociales que se disputan en la escena pública. g)Comprender el rol fundamental que poseen las agencias judiciales como instancias de promoción y desarrollo de políticas públicas en materia de acceso a la justicia. h)Esbozar los desafíos de dichas agencias judiciales para la profundización del acceso a la justicia como derecho vinculado a problemáticas específicas tales como la vulnerabilidad social y la diversidad cultural y lingüística. (shrink)

No presente trabalho, vamos abordar algumas das questões essenciais sobre o imaginário coletivo e suas relações com a realidade e a verdade. Devemos encarar esse assunto em uma estrutura conceptual, seguida pela análise factual correspondente às realidades comportamentais demonstráveis. Adotaremos não apenas a metodologia, mas principalmente os princípios e proposições da filosofia analítica, que com certeza serão evidentes ao longo do estudo e podem ser identificados pelos recursos descritos por Perez[1] : Rabossi (1975) defende a ideia de que a filosofia (...) analítica pode ser identificada considerando-se certas semelhanças familiares. Ele sugere os seguintes traços familiares: uma atitude positiva em relação ao conhecimento científico; uma atitude cautelosa em relação à metafísica; uma concepção da filosofia como uma tarefa conceptual, que toma a análise conteudo como um método; uma estreita relação entre linguagem e filosofia; uma preocupação em buscar respostas argumentativas para problemas filosóficos, e procura de clareza conceptual. Esses conceitos centrais envolvem conteúdos culturais, sociais, religiosos, científicos, filosóficos, morais e políticos, pertencentes à existência individual e coletiva de cada um de nós. Neste artigo, não discutiremos nem demonstraremos. Nosso objetivo não é o de sistematicamente criticar ou evidenciar qualquer coisa, de qualquer maneira. O presente trabalho se baseia na reflexão analítica. Apenas especularemos da maneira mais abrangente e profunda que pudermos e expressaremos os resultados de nossos pensamentos. Não obstante a natureza multidisciplinar do assunto e a abertura metodológica para aceitar contribuições de qualquer campo da ciência, este trabalho pertence ao objetivo da psicologia e ontologia ou, em outros termos, da psicologia social e ontológica. A metodologia livre que norteia tais reflexões abrange e leva em consideração tudo o que se aproxima da coerência com a epistemologia filosófica e psicológica. Essa metodologia não busca alcançar evidências, mas apenas procura a inter-relação entre evidências já existentes, de qualquer natureza e magnitude, inferindo um significado coerente para as coisas reais. Muitos dos grandes pensadores, a qualquer momento, nunca procuraram demonstrações, teorizações ou sistematizações. Esses pensadores apenas pensavam, meditavam e com a iluminação de sua humildade podiam se aproximar da verdade. Eles serão nossa referência e o exemplo a ser seguido. Com certeza, não encontraremos a verdade, mas podemos ter certeza de alguma coisa: em muitos momentos, chegaremos perto da verdade e, em todos os momentos, estaremos nos afastando da inverdade e da mentira. O escopo principal deste estudo é observar como alguns dos atributos evolutivos essenciais da humanidade, como criatividade, imaginação e associação, podem se tornar uma doença perigosa, abrigada nas sombras enevoadas da inteligência. (shrink)

Resumo: O projeto semântico de Davidson toma a forma de reducionismo que visa explicar as noções intencionais com base em noções puramente extensionais. O objetivo desse trabalho consiste na investigação do fracasso do projeto de Davidson como um argumento indireto contra sua suposição segundo a qual a chamada interpretação radical seria o fundamento do significado linguístico e do pensamento. Abstract: Davidson's semantic program is a form of semantic reductionism that aims to account for intensional notions on a purely extensional basis. (...) My aim in this paper is not to show that Davidsons fails in addressing the so-called extensionality problem. That is no novelty. Even Davidsonians recognize Davidson's failure. My main goal is to explore Davidson's failure as an indirect argument against his key assumption that the radical interpretation is the basis of sense and hence the possibility of thought. There is no priority of language over thought. This is a remnant of the so-called linguistic turn that Davidson inherited from the analytical tradition. The moral is the following: we must come back to Lockean common sense that to learn a natural language and to translate an alien tongue into our own is merely to learn a vehicle for communicating and expressing thoughts we have already had. (shrink)

Este trabajo abordará cuestiones esenciales sobre el imaginario colectivo y sus relaciones con la realidad y la verdad. Primero, debemos abordar este tema dentro de un marco conceptual, seguido del correspondiente análisis fáctico de realidades conductuales demostrables. Adoptaremos no solo la metodología, sino sobre todo los principios y proposiciones de la filosofía analítica, que seguramente quedarán patentes a lo largo del estudio y podrán identificarse por las características descritas por Pérez. : Rabossi (1975) sostiene que la filosofía analítica puede identificarse (...) considerando ciertos parecidos familiares. Sugiere los siguientes rasgos familiares: una actitud positiva hacia el conocimiento científico; un enfoque cauteloso de la metafísica; una concepción de la filosofía como tarea conceptual, que toma como método el análisis conceptual; una estrecha relación entre lengua y Filosofía; una preocupación por buscar respuestas argumentativas a problemas filosóficos; la búsqueda de claridad conceptual. -/- Estos conceptos originales implican contenidos culturales, sociales, religiosos, científicos, filosóficos, morales y políticos propios de cada existencia colectiva. En este estudio no debatiremos ni demostraremos. Nuestro objetivo no es establecer sistemáticamente un método, criticar o aportar pruebas. Este trabajo se basa en la reflexión analítica. Especularemos lo más completa y profundamente posible y expresaremos los resultados de nuestros pensamientos. Sin perjuicio del carácter multidisciplinar del tema y de la apertura metodológica para aceptar aportaciones de cualquier campo científico, este trabajo pertenece a la psicología y la ontología o, en otras palabras, a la psicología social y ontológica. La metodología libre que orienta estas reflexiones abarca y considera todo lo que se acerca a la coherencia con la epistemología filosófica y psicológica. Esta metodología no busca evidencia, sino que busca la interrelación entre evidencia existente de cualquier naturaleza y magnitud, infiriendo significado consistente a partir de cosas reales. Muchos grandes pensadores en ningún momento han buscado demostraciones, teorizaciones o sistematizaciones. Estos pensadores pensaron, meditaron y pudieron acercarse a la verdad con la iluminación de su humildad. Ellos serán nuestra referencia y el ejemplo a seguir. De hecho, no encontraremos la verdad. Sin embargo, de una cosa podemos estar seguros: muchas veces nos acercaremos a la verdad y en todo momento nos alejaremos de la mentira. El objetivo principal de este estudio es observar cómo funcionan algunos de los atributos evolutivos esenciales de la humanidad. Al igual que la creatividad, la imaginación y la asociación pueden convertirse en una enfermedad peligrosa, al abrigo de las brumosas sombras de la inteligencia. -/- . (shrink)

There is much to admire in John Pittard’s recent book on the epistemology of disagreement. But here we develop one concern about the role that rational insight plays in his project. Pittard develops and defends a view on which a party to peer disagreement can show substantial partiality to his own view, so long as he enjoys even moderate rational insight into the truth of his view or the cogency of his reasoning for his view. Pittard argues that this may (...) happen in ordinary cases of religious disagreement—cases in which it’s a live skeptical possibility that one is misdescribing his insight, or not having insight at all—and therefore one need not be strongly conciliatory even in the face of peer disagreement. Yet Pittard agrees that one should be strongly conciliatory in cases of disagreement involving, e.g., visual perception and dim rational insight, since the sort of fallible, corrigible evidence involved in such cases may be counterbalanced by symmetrical evidence on the part of one’s disagreeing peer. We worry that there’s an inconsistency here. If it’s unreasonable to show partiality to one’s visual experience (or dim rational insight) in cases like “Horse Race” and “Restaurant Check,” it’s likewise unreasonable to show partiality in religious disagreements to one’s moderate rational insight, fallible and corrigible as it is. (shrink)

Many philosophers believe that our ordinary English words man and woman are “gender terms,” and gender is distinct from biological sex. That is, they believe womanhood and manhood are not defined even partly by biological sex. This sex/gender distinction is one of the most influential ideas of the twentieth century on the broader culture, both popular and academic. Less well known are the reasons to think it’s true. My interest in this paper is to show that, upon investigation, the arguments (...) for the sex/gender distinction have feet of clay. In fact, they all fail. We will survey the literature and tour arguments in favor of the sex/gender distinction, and then we’ll critically evaluate those arguments. We’ll consider the argument from resisting biological determinism, the argument from biologically intersex people and vagueness, the argument from the normativity of gender, and some arguments from thought experiments. We’ll see that these arguments are not up to the task of supporting the sex/gender distinction; they simply don’t work. So, philosophers should either develop stronger arguments for the sex/gender distinction, or cultivate a variety of feminism that’s consistent with the traditional, biologically-based definitions of woman and man. (shrink)

Modalists think that knowledge requires forming your belief in a “modally stable” way: using a method that wouldn't easily go wrong, or using a method that wouldn't have given you this belief had it been false. Recent Modalist projects from Justin Clarke-Doane and Dan Baras defend a principle they call “Modal Security,” roughly: if evidence undermines your belief, then it must give you a reason to doubt the safety or sensitivity of your belief. Another recent Modalist project from Carlotta Pavese (...) and Bob Beddor defends “Modal Virtue Epistemology”: knowledge is a belief that is maximally modally robust across “normal” worlds. We'll offer new objections to these recent Modalist projects. We will then argue for a rival view, Explanationism: knowing something is believing it because it's true. We will show how Explanationism offers a better account of undermining defeaters than Modalism, and a better account of knowledge. (shrink)

Many contemporary epistemologists hold that a subject S’s true belief that p counts as knowledge only if S’s belief that p is also, in some important sense, safe. I describe accounts of this safety condition from John Hawthorne, Duncan Pritchard, and Ernest Sosa. There have been three counterexamples to safety proposed in the recent literature, from Comesaña, Neta and Rohrbaugh, and Kelp. I explain why all three proposals fail: each moves fallaciously from the fact that S was at epistemic risk (...) just before forming her belief to the conclusion that S’s belief was formed unsafely. In light of lessons from their failure, I provide a new and successful counterexample to the safety condition on knowledge. It follows, then, that knowledge need not be safe. Safety at a time depends counterfactually on what would likely happen at that time or soon after in a way that knowledge does not. I close by considering one objection concerning higher-order safety. (shrink)

Feminism has long grappled with its own demarcation problem—exactly what is it to be a woman?—and the rise of trans-inclusive feminism has made this problem more urgent. I will first consider Sally Haslanger’s “social and hierarchical” account of woman, resulting from “Ameliorative Inquiry”: she balances ordinary use of the term against the instrumental value of novel definitions in advancing the cause of feminism. Then, I will turn to Katharine Jenkins’ charge that Haslanger’s view suffers from an “Inclusion Problem”: it fails (...) to class many trans women as women. Jenkins offers a novel norm-relevancy account of woman to avoid the Inclusion Problem. Unfortunately, Jenkins’ account has serious internal problems, i.e. problems by Jenkins’ own lights: it is unintelligible, or it suffers from an Inclusion Problem of its own. After that, I will develop novel arguments for the conclusion that the project of Ameliorative Inquiry is both incoherent and also impossible to complete—at least, impossible to complete in a trans-inclusive way. Trans-inclusive feminism, therefore, would do well to move beyond Ameliorative Inquiry. Insofar as that’s not possible, trans-inclusive feminism inherits the incoherence of Ameliorative Inquiry. (shrink)

Do the facts of evolution generate an epistemic challenge to moral realism? Some think so, and many “evolutionary debunking arguments” have been discussed in the recent literature. But they are all murky right where it counts most: exactly which epistemic principle is meant to take us from evolutionary considerations to the skeptical conclusion? Here, I will identify several distinct species of evolutionary debunking argument in the literature, each one of which relies on a distinct epistemic principle. Drawing on recent work (...) in epistemology, I will show that most of these initially plausible principles are false, spoiling the arguments that rely on them. And we will see that each argument threatens only one popular view of moral psychology: a “Representationalist” view on which our moral judgments rely crucially on a mental intermediary—e.g. a sentiment, gut reaction, or affect-laden intuition—delivered by our evolved moral faculty. In the end, only one evolutionary debunking argument remains a menace: an “ Argument from Symmetry ” that I will introduce to the literature. But we will see that it should worry only all naturalists, pressuring them into a trilemma: give up moral realism, accept a rationalism that is incongruous with naturalism, or give up naturalism. Non-naturalists are free and clear. (shrink)

Abstract: Daniel Wegner’s theory of apparent mental causation is often misread. His aim was not to question the causal effectiveness of conscious mental states like intentions. Rather, he attempted to show that our subjective sense of agency is not a completely reliable indicator of the actual causality of action, and needs to be replaced by more objective means of inquiry.

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

What is a woman? The definition of this central concept of feminism has lately become especially controversial and politically charged. “Ameliorative Inquirists” have rolled up their sleeves to reengineer our ordinary concept of womanhood, with a goal of including in the definition all and only those who identify as women, both “cis” and “trans.” This has proven to be a formidable challenge. Every proposal so far has failed to draw the boundaries of womanhood in a way acceptable to the Ameliorative (...) Inquirists, since not all those who identify as women count as women on these proposals, and some who count as women on these proposals don’t identify as women. This is the Trans Inclusion Problem. Is there any solution? Can there be? Recently, Katharine Jenkins, pointing to the work of Mari Mikkola, suggests that the Trans Inclusion Problem can be “deflated” rather than solved. We will investigate this proposal, and show that, unfortunately, Jenkins is mistaken: Mikkola’s project will not help us answer the Trans Inclusion Problem. After that, we’ll look at Robin Dembroff’s suggestion that we “imitate” the linguistic practices of trans inclusive and queer communities, and we will evaluate whether this would help us solve the Trans Inclusion Problem. Unfortunately, this strategy also fails to solve the problem. By the end, we’ll have a better appreciation of the challenges faced by Ameliorative Inquirists in their project of redefining “woman,” and clearer view of why the Trans Inclusion Problem cannot, in fact, be solved. That’s primarily because, no matter what it means to be a woman, it’s one thing to be a woman, and another thing to identify as a woman. (shrink)

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...) such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

In an essay recently published in this journal (“Is Safety in Danger?”), Fernando Broncano-Berrocal defends the safety condition on knowledge from a counterexample proposed by Tomas Bogardus (Philosophy and Phenomenological Research, 2012). In this paper, we will define the safety condition, briefly explain the proposed counterexample, and outline Broncano-Berrocal’s defense of the safety condition. We will then raise four objections to Broncano-Berrocal’s defense, four implausible implications of his central claim. In the end, we conclude that Broncano-Berrocal’s defense of the safety (...) condition is unsuccessful, and that the safety condition on knowledge should be rejected. (shrink)

In this paper, I hope to solve a problem that’s as old as the hills: the problem of contingency for religious belief. Paradigmatic examples of this argument begin with a counterfactual premise: had we been born at a different time or in a difference place, we easily could have held different beliefs on religious topics. Ultimately, and perhaps by additional steps, we’re meant to reach the skeptical conclusion that very many of our religious beliefs do not amount to knowledge. I (...) survey some historical examples of this argument, and I try to fill the gap between the counterfactual premise and the skeptical conclusion as forcefully as possible. I consider the following possibilities: there are no additional steps in the argument; or there are and they concern the alleged safety condition on knowledge, or the alleged non-accidentality condition on knowledge, or the unclarity produced by disagreement. On every possibility, the argument from the counterfactual premise to the conclusion of widespread skepticism is invalid. It seems, then, that there is no serious problem of contingency for religious belief. (shrink)

Some philosophers believe that, when epistemic peers disagree, each has an obligation to accord the other’s assessment equal weight as her own. Other philosophers worry that this Equal-Weight View is vulnerable to straightforward counterexamples, and that it requires an unacceptable degree of spinelessness with respect to our most treasured philosophical, political, and religious beliefs. I think that both of these allegations are false. To show this, I carefully state the Equal-Weight View, motivate it, describe apparent counterexamples to it, and then (...) explain away the apparent counterexamples. Finally, I adapt those explanations to cases of religious disagreement. In the end, we reach the surprising conclusion that—even if the Equal-Weight View is true—in very many cases of religious disagreement between apparent epistemic peers, the parties to the disagreement need not be conciliatory. And what goes for religious beliefs goes for political and philosophical beliefs as well. This strongly suggests that the View does not demand an unacceptable degree of spinelessness. (shrink)

In the standard thought experiments, dualism strikes many philosophers as true, including many non-dualists. This ‘striking’ generates prima facie justification: in the absence of defeaters, we ought to believe that things are as they seem to be, i.e. we ought to be dualists. In this paper, I examine several proposed undercutting defeaters for our dualist intuitions. I argue that each proposal fails, since each rests on a false assumption, or requires empirical evidence that it lacks, or overgenerates defeaters. By the (...) end, our prima facie justification for dualism remains undefeated. I close with one objection concerning the dialectical role of rebutting defeaters, and I argue that the prospects for a successful rebutting defeater for our dualist intuitions are dim. Since dualism emerges undefeated, we ought to believe it. (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

In the recent literature on the nature of knowledge, a rivalry has emerged between modalism and explanationism. According to modalism, knowledge requires that our beliefs track the truth across some appropriate set of possible worlds. Modalists tend to focus on two modal conditions: sensitivity and safety. According to explanationism, knowledge requires only that beliefs bear the right sort of explanatory relation to the truth. In slogan form: knowledge is believing something because it’s true. In this paper, we aim to vindicate (...) explanationism from some recent objections offered by Gualtiero Piccinini, Dario Mortini, and Kenneth Boyce and Andrew Moon. Together, these authors present five purported counterexamples to the sufficiency of the explanationist analysis for knowledge. In addition, Mortini devises a clever argument that explanationism entails the violation of a plausible closure principle on knowledge. We will argue that explanationism is innocent of all these charges against it, and we hope that the strength of the defense we offer of explanationism is evidence in its favor, and a reason to investigate explanationism further as the long-elusive truth about the nature of knowledge. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...) a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...) refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure. (shrink)

Most philosophers, including all materialists I know of, believe that I am a complex thing?a thing with parts?and that my mental life is (or is a result of) the interaction of these parts. These philosophers often believe that I am a body or a brain, and my mental life is (or is a product of) brain activity. In this paper, I develop and defend a novel argument against this view. The argument turns on certainty, that highest epistemic status that a (...) precious few of our beliefs enjoy. For example, on the basis of introspection, I am certain that I am not in fierce pain right now. But if I am a complex thing like a body or a brain, then introspection might be a causal series of events extended in time. And any such process could go awry. So, if introspection is such a process, then I could gain good evidence that the introspective process has gone awry and that I am, contrary to appearances, feeling fierce pain right now. Therefore, the view that I am a complex thing like a body or a brain forces open the possibility that I cannot be certain that I am not feeling fierce pain right now. Since that is clearly not an open possibility, it follows that I am not a complex thing. I conclude by responding to three objections. (shrink)

Reasons-first theorists claim that facts about reasons for attitudes are normatively primitive, and that all other normative facts ultimately reduce to facts about reasons. According to their view, for example, the fact that something is good ultimately reduces to facts about reasons to favour it. I argue that these theories face a challenging dilemma due to the normativity of arational lifeforms, for instance the fact that water is good for plants. If all normative facts are, ultimately, facts about reasons for (...) attitudes, then reasons-first theorists must either (a) show that these facts do reduce to facts about reasons, or (b) concede that they do not and, instead, show that this is not a problem for their view. Both options, however, are riddled with difficulties—or so I will try to argue. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...) out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

In this paper I will present three arguments (based on the notions of constitution, metaphysical reality, and truth, respectively) with the aim of shedding some new light on the structure of Fine’s (2005, 2006) ‘McTaggartian’ arguments against the reality of tense. Along the way, I will also (i) draw a novel map of the main realist positions about tense, (ii) unearth a previously unnoticed but potentially interesting form of external relativism (which I will label ‘hyper-presentism’) and (iii) sketch a novel (...) interpretation of Fine’s fragmentalism (which I contrast with Lipman’s 2015, 2016b, forthcoming). (shrink)

I begin by retracing an argument from Aristotle for final causes in science. Then, I advance this ancient thought, and defend an argument for a stronger conclusion: that no scientific explanation can succeed, if Naturalism is true. The argument goes like this: (1) Any scientific explanation can be successful only if it crucially involves a natural regularity. Next, I argue that (2) any explanation can be successful only if it crucially involves no element that calls out for explanation but lacks (...) one. From (1) and (2) it follows that (3) a scientific explanation can be successful only if it crucially involves a natural regularity, and this regularity does not call out for explanation while lacking one. I then argue that (4) if Naturalism is true, then all natural regularities call out for explanation but lack them. From (3) and (4) it follows that (5) if Naturalism is true, then no scientific explanation can be successful. If you believe that scientific explanation can be (indeed, often has been) successful, as I do, then this is a reason to reject Naturalism. (shrink)

According to informal logic, the possibilities of deductive logic as a tool for analysing and evaluating ordinary arguments are very limited. While I agree with this claim in general, I question it in the case of the argument from cause to effect. In this paper I first show, on the basis of carefully chosen examples, that we usually react differently to falsification of the conclusion of the argument from cause to effect than we do to the falsification of the conclusion (...) of other defeasible arguments. I then identify general conditions and assumptions under which the causal argument from cause to effect can be reconstructed as deductive. Finally, I compare the causal argument with the expert argument, which is a typical example of a defeasible argument in the narrower sense. (shrink)

Grounding contingentism is the doctrine according to which grounds are not guaranteed to necessitate what they ground. In this paper I will argue that the most plausible version of contingentism is incompatible with the idea that the grounding relation is transitive, unless either ‘priority monism’ or ‘contrastivism’ are assumed.

According to Composition is Identity, a whole is literally identical to the plurality of its parts. According to Mereological Nihilism, nothing has proper parts. In this note, it is argued that Composition is Identity can be shown to entail Mereological Nihilism in a much more simple and direct way than the one recently proposed by Claudio Calosi.

What is the relation between parts taken together and the whole that they compose? The recent literature appears to be dominated by two different answers to this question, which are normally thought of as being incompatible. According to the first, parts taken together are identical to the whole that they compose. According to the second, the whole is grounded in its parts. The aim of this paper is to make some theoretical room for the view according to which parts ground (...) the whole they compose while being, at the same time, identical to it. (shrink)

The aim of this paper is to challenge the idea that Toulmin’s main focus in The Uses of Argument is to critique formal deductive logic. I first try to challenge the argument that, on the basis of what Toulmin says about analytic arguments, it is impossible to determine exactly what they are. I will then attempt to determine the basic contours of analytic arguments. Finally, I will conclude that the concept of an analytic argument involves epistemological assumptions to which formal (...) logicians are in no way committed by the nature of their discipline. (shrink)

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (shrink)

V práci sa zaoberám kritickou expozíciou argumentačných schém v kontexte pragma-dialektického prístupu k argumentácii. Nadväzujem pritom na prácu Hitchcocka a Wagemansa (2011), ktorí sa sústredili najmä na problémy súvisiace s typológiou argumentačných schém v pragma-dialektike. Pozorovania Hitchcocka a Wagemansa sú v priebehu výkladu kriticky hodnotené, prípadne upravené. Časť kritiky, ktorú v práci uvádzam, súvisí s tým, že niektoré dôležité aspekty argumentačných schém sú v rôznych pragma-dialektických publikáciách prezentované odlišne bez toho, aby sa odlišnosť akokoľvek komentovala, alebo zdôvodnila. Existencia takýchto zdôvodnení (...) nie je pritom iba znakom, ale aj nevyhnutnou podmienkou toho, aby sme akúkoľvek zmenu mohli nazývať pokrokom v teórii. Posledná časť práce je zameraná na problémy týkajúce sa hodnotenia argumentácie v pragma-dialektickom prístupe. Hoci článok prináša vlastné pozitívne návrhy, dôraz a celkový zámer spočíva predovšetkým na expozícii nedostatkov súčasného stavu pragma-dialektickej koncepcie argumentačných schém. Kľúčové slová: argumentačné schémy, kritické otázky, pragma-dialektický prístup k argumentácii, hodnotenie argumentov. (shrink)

Les approches de la tradition philosophique de la morale reposent principalement sur des concepts et des théories métaphysiques et théologiques. Parmi les concepts éthiques traditionnels, le plus important est la théorie du commandement divin (DCT). Selon la DCT, Dieu donne des fondements moraux à l'humanité par sa création et par la Révélation. Morale et Divinité sont inséparables depuis la civilisation la plus lointaine. Ces concepts plongent dans un cadre théologique et sont principalement acceptés par la plupart des adeptes des trois (...) traditions abrahamiques : le judaïsme, le christianisme et l'islam : la partie la plus considérable de la population humaine. Tenant la foi et la Révélation pour ses fondements, les Théories du Commandement Divin ne sont pas strictement sujettes à la démonstration. Les opposants à la conception de la morale du Commandement divin, fondée sur l'impossibilité de démontrer ses présupposés métaphysiques et religieux, ont tenté pendant de nombreux siècles (mais sans succès) d'en dévaloriser l'importance. Ils ont soutenu l'argument selon lequel il ne montre pas de preuves matérielles et de cohérence logique et, pour cette raison, ne peut pas être considéré à des fins scientifiques ou philosophiques. Ce n'est qu'une croyance et, en tant que tel, doit être compris. Outre ces oppositions extrêmes, de nombreux autres concepts contreviennent aux théories du Commandement Divin, d'une manière ou d'une autre, en partie ou en totalité. (shrink)

Fine (2005, 2006) has presented a ‘trilemma’ concerning the tense-realist idea that reality is constituted by tensed facts. According to Fine, there are only three ways out of the trilemma, consisting in what he takes to be the three main families of tense-realism: ‘presentism’, ‘(external) relativism’, and ‘fragmentalism’. Importantly, although Fine characterises tense-realism as the thesis that reality is constituted (at least in part) by tensed facts, he explicitly claims that tense realists are not committed to their fundamental existence. Recently, (...) Correia and Rosenkranz (2011, 2012) have claimed that Fine’s tripartite map of tense realism is incomplete as it misses a fourth position they call ‘dynamic absolutism’. In this paper, I will argue that dynamic absolutists are committed to the irreducible existence of tensed facts and that, for this reason, they face a similar trilemma concerning the notion of fact-content. I will thus conclude that a generalised version of Fine’s trilemma, concerning both fact-constitution and fact-content, is indeed inescapable. (shrink)

ABSTRACTThe ability of providing an adequate supervenience base for tensed truths may seem to be one of the main theoretical advantages of both the growing-block and the moving-spotlight theory of time over presentism. However, in this paper I will argue that some propositions appear to be as problematic for growing-block theorists as past-directed propositions are for presentists, namely propositions stating that nothing will be the case in the future. Furthermore, I will show that the moving-spotlight theory can adequately address all (...) the main supervenience challenges that can be levelled against A-theories of time. I will, thus, conclude that, at least as far as the supervenience principle is concerned, the moving-spotlight theory should be preferred over both presentism and the growing-block theory. (shrink)

The possibility of changing the past by means of time-travel appears to depend on the possibility of distinguishing the past as it is ‘before’ and ‘after’ the time-travel. So far, all the metaphysical models that have been proposed to account for the possibility of past-changing time-travels operate this distinction by conceiving of time as multi-dimensional, and thus by significantly inflating our metaphysics of time. The aim of this article is to argue that there is an intuitive sense in which past-changing (...) time-travels are metaphysically possible also in one-dimensional time. (shrink)

The book is divided into three parts. The first, containing three papers, focuses on the characterization of the central tenets of previii sentism (by Neil McKinnon) and eternalism (by Samuel Baron and Kristie Miller), and on the ‘sceptical stance’ (by Ulrich Meyer), a view to the effect that there is no substantial difference between presentism and eternalism. The second and main section of the book contains three pairs of papers that bring the main problems with presentism to the fore and (...) outlines its defence strategy. Each pair of papers in this section can be read as a discussion between presentists and eternalists, wherein each directly responds to the arguments and objections offered by the other. This is a discussion that is sometimes absent in the literature, or which is at best carried out in a fragmented way. The first two papers of the section deal with the problem of the compatibility of Special Relativity Theory (SRT) and presentism. SRT is often considered to be a theory that contradicts the main tenet of presentism, thereby rendering presentism at odds with one of our most solid scientific theories. Christian Wüthrich’s paper presents arguments for the incompatibility of the two theories (SRT and presentism) within a new framework that includes a discussion of further complications arising from the theory of Qauantum Mechanics. Jonathan Lowe’s paper, by contrast, develops new general arguments against the incompatibility thesis and replies to Wüthrich’s paper. The second pair of papers focuses on the problem that presentists face, in providing grounds for past tensed truths. In the first (by Matthew Davidson), new arguments are provided to defend the idea that the presentist cannot adequately explain how what is now true about the past is grounded, since for the presentist the past is completely devoid of ontological ground. The second paper (by Brian Kierland) takes up the challenge of developing a presentist explanation of past truths, beginning by outlining some existing views in the literature before advancing an original proposal. (shrink)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

This essay aims to expose the metaphysical underpinnings of enactivism. While enactivism relies heavily on rejecting the traditional mind-body problem by excluding the familiar thought experiments that favor phenomenal dualism, the crucial point that is overlooked is instead the brain-body problem, specifically the crucial interaction between the brain and the bodily limbs in their embodied activities of perception and cognition. If enactivism is correct, differences in sensory experience necessarily entail differences in embodied activity—this is the metaphysical core of enactivism, which (...) we think is entirely wrong. We will argue that a physical or biological body ("Körper") is configured or shaped into a perceptually living body ("Leib") by brain patterns and not by embodied activity or by the so-called sensorimotor contingencies. Undoubtedly, embodied actions influence sensory perception. However, since variations in embodied actions do not necessarily lead to variations in sensory experience, they are not metaphysically constitutive of these experiences (supervenience claim). (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

I present a ‘stage-theoretical’ interpretation of the supervaluationist semantics for the growing-block theory of time according to which the ‘nodes’ on the branching tree of historical possibilities are taken to be possible stages of the growth of the growing-block. As I will argue, the resulting interpretation (i) is very intuitive, (ii) can easily ward off an objection to supervaluationist treatments of the growing-block theory presented by Fabrice Correia and Sven Rosenkranz, and (iii) is also not saddled by the problems affecting (...) the supervaluationist version of the growing-block theory defended by R. A. Briggs and Graeme A. Forbes. (shrink)

[What It’s Like, or What It’s About? The Place of Consciousness in the Material World] Summary: The book is both a survey of the contemporary debate and a defense of a distinctive position. Most philosophers nowadays assume that the focus of the philosophy of consciousness, its shared explanandum, is a certain property of experience variously called “phenomenal character,” “qualitative character,” “qualia” or “phenomenology,” understood in terms of what it is like to undergo the experience in question. Consciousness as defined in (...) terms of its phenomenal aspect is often called “phenomenal consciousness.” The major issue that occupies most thinkers is whether this phenomenal character happens to be a physical property, or whether it is rather sui generis. Those who believe the former are materialists; those who conclude the latter are dualists. As the currently dominant metaphysic is materialism – also sometimes called physicalism – the challenge appears to be to slot phenomenal properties among the physical properties that ultimately make up the world. David Chalmers argued powerfully that we can go very far in situating many mental properties in the physical world – namely, the properties that can be understood in functional terms – but that phenomenal properties resist such a treatment. Chalmers calls this “the hard problem” of consciousness. But there are also some quite powerful positive arguments for dualism. The two most influential ones are the modal argument, also offered by Chalmers, and the knowledge argument invented by Frank Jackson. Chalmers invites us to conceive of creatures that are exactly like human beings – physically, functionally, behaviorally – only bereft of phenomenal consciousness. If such creatures are conceivable, says Chalmers, they are metaphysically possible. And if they are metaphysically possible, materialism is false. Jackson, for his part, suggests we imagine Mary who has spent her entire life inside a black-and-white room and has seen the world through a black-and-white TV screen. But she also happens to know everything there is to know about the physics of color. And yet, Jackson suggests that once Mary is finally released from her room and sees a lawn outside, she learns something new: that this is what it is like to experience green color. The current work on consciousness is by and large characterized by attempts to answer these two dualistic arguments. I try to make sense of the positions within the domain of philosophy of consciousness by means of two major distinctions that mutually intersect. First, there is a distinction between dualism and materialism. An apparent third alternative currently on offer, the so-called Russellian monism, is unstable, collapsing into either dualism (panpsychism) or materialism (Russellian physicalism). Materialism comes in two main flavors: either the a posteriori physicalism, which detects an epistemic gap between phenomenal and physical truths, hence denying that the former could be derived from the latter; or the a priori physicalism, which does not acknowledge any such obstacle. The second major distinction is between phenomenism and representationalism. It’s true that Ned Block, who introduced this contrast, meant to distinguish between two kinds of materialism. But I believe that the distinction actually intersects the one between materialism and dualism. We thus arrive at a table with six slots, representing six main positions in the philosophy of consciousness: (1) dualist phenomenism (Chalmers, the early Jackson, and Tyler Burge); (2) dualist representationalism (René Descartes); (3) aposteriori materialist phenomenism (Block); (4) a posteriori materialist representationalism (Michael Tye, Fred Dretske, David Rosenthal); (5) a priori materialist phenomenism (David Lewis); and (6) a priori materialist representationalism (Daniel Dennett, Derk Pereboom). However, this scheme is in fact somewhat misleading. It is true that Dennett is usually classified as an apriori materialist (or, more precisely an apriori materialist representationalist), but I believe that needs to be corrected. In order to understand why, I first analyze varieties of materialist representationalism in detail, in particular various construals of phenomenal character in terms of representation, or intentionality, which includes a discussion of the identity of its content (the issue of externalism). By contrast, Dennett rejects the concept of phenomenal character. Consciousness has no intrinsic, publicly inaccessible properties. On that ground, Dennett builds an empirical, fully functionalist theory of consciousness, which he also tries to integrate within a general Darwinian framework. From that point of view, one can contrast Dennettian and representationalist views on the issue of animal consciousness. In addition to his rejection of phenomenal character, Dennett also abstains from the regular metaphysical departure point of regular materialism. He does not so much ask how an enigmatic property of consciousness fits an antecedently characterized world, but rather how far we can investigate all aspects of the world, including consciousness, using the scientific method. He is thus a methodological naturalist, rather than a metaphysical materialist. While this approach removes obstacles to the science of consciousness, it does not solve what might be called “the hardest problem” – of intentionality, not phenomenal consciousness. The hardest problem consists in the fact that our intentional discourse involves conflicting commitments that prevent a coherent metaphysic of representational states. However, it does not follow that we should give up on this discourse as a theoretical means of reduction as well as a practical tool of explanation. But it might be that intentional discourse is a somewhat pseudo one. (shrink)